On July 17th, Nexus Labs, a company dedicated to verifiable computation through cryptography and zero-knowledge proofs, announced the release of its second-generation zkVM, which builds a verifier front end through the Jolt computing system and a prover back end through the HyperNova recursive proof system. With these integrations, the Nexus SDK can be used to generate multiple proofs in parallel at scale. Previously, Nexus Labs completed a $25 million Series A financing, led by Lightspeed Ventu...